<!DOCTYPE html>
<html lang="en-us">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
    
    <title>程序分析 | Practice, Rethink, Improve</title>
    <meta name="viewport" content="width=device-width,minimum-scale=1">
    <meta name="description" content="">
    <meta name="generator" content="Hugo 0.89.4" />
    
    
      <META NAME="ROBOTS" CONTENT="NOINDEX, NOFOLLOW">
    

    
<link rel="stylesheet" href="/ananke/css/main.min.css" >




    
      

    

    
    
      <link href="/categories/%E7%A8%8B%E5%BA%8F%E5%88%86%E6%9E%90/index.xml" rel="alternate" type="application/rss+xml" title="Practice, Rethink, Improve" />
      <link href="/categories/%E7%A8%8B%E5%BA%8F%E5%88%86%E6%9E%90/index.xml" rel="feed" type="application/rss+xml" title="Practice, Rethink, Improve" />
      
    
    
    <meta property="og:title" content="程序分析" />
<meta property="og:description" content="" />
<meta property="og:type" content="website" />
<meta property="og:url" content="https://wanghuibin0.gitee.io/categories/%E7%A8%8B%E5%BA%8F%E5%88%86%E6%9E%90/" />

<meta itemprop="name" content="程序分析">
<meta itemprop="description" content=""><meta name="twitter:card" content="summary"/>
<meta name="twitter:title" content="程序分析"/>
<meta name="twitter:description" content=""/>

	
  </head>

  <body class="ma0 avenir bg-near-white">

    

  <header>
    <div class="pb3-m pb6-l bg-black">
      <nav class="pv3 ph3 ph4-ns" role="navigation">
  <div class="flex-l justify-between items-center center">
    <a href="/" class="f3 fw2 hover-white no-underline white-90 dib">
      
        Practice, Rethink, Improve
      
    </a>
    <div class="flex-l items-center">
      

      
      
















    </div>
  </div>
</nav>

      <div class="tc-l pv3 ph3 ph4-ns">
        <h1 class="f2 f-subheadline-l fw2 light-silver mb0 lh-title">
          程序分析
        </h1>
        
      </div>
    </div>
  </header>


    <main class="pb7" role="main">
      
  <article class="cf pa3 pa4-m pa4-l">
    <div class="measure-wide-l center f4 lh-copy nested-copy-line-height nested-links nested-img mid-gray">
      <p>Below you will find pages that utilize the taxonomy term “程序分析”</p>
    </div>
  </article>
  <div class="mw8 center">    
    <section class="flex-ns flex-wrap justify-around mt5">
      
        <div class="relative w-100  mb4 bg-white">
          <div class="relative w-100 mb4 bg-white nested-copy-line-height">
  <div class="bg-white mb3 pa4 gray overflow-hidden">
    <span class="f6 db">Posts</span>
    <h1 class="f3 near-black">
      <a href="/posts/2021-04-21-program-semantics/" class="link black dim">
        编程语言的形式语义
      </a>
    </h1>
    <div class="nested-links f5 lh-copy nested-copy-line-height">
      <h1 id="计算机程序语义">计算机程序语义</h1>
<p>你在编程序的时候，是否想过一个问题：计算机是怎么知道人们想要它做什么的呢？这个问题涉及到编程的本质，编程作为人类的一种活动，核心是编程语言，而对于一门语言，最重要的，必然是语义。</p>
    </div>
  </div>
</div>

        </div>
      
    </section>
  </div>

    </main>
    <footer class="bg-black bottom-0 w-100 pa3" role="contentinfo">
  <div class="flex justify-between">
  <a class="f4 fw4 hover-white no-underline white-70 dn dib-ns pv2 ph3" href="https://wanghuibin0.gitee.io/" >
    &copy;  Practice, Rethink, Improve 2021 
  </a>
    <div>















</div>
  </div>
</footer>

  </body>
</html>
